Nuprl Definition : data
0,22
postcript
pdf
data(
T
) ==
x
:Id
T
(
x
)
latex
Definitions
x
:
A
B
(
x
)
,
Id
,
f
(
a
)
FDL editor aliases
data
origin
T(x) T(x) B(x)